arithmetical statement

[计] 算法描述